$\forall$${\it es}$:event\_system\{i:l\}, $i$:Id, $k$:Knd. es{-}kindtype(${\it es}$; $i$; $k$) $\in$ Type